#!/bin/sh


##############################################################
# Load settings (look for edit text)
# 
##############################################################
# -- edit --
WORKSPACE_HOME=""

. "${WORKSPACE_HOME}/settings/setenv"



##############################################################
# Control shell settings
##############################################################
settings="\
WORKSPACE_HOME \
JAVA_HOME \
CLASSPATH \
JAVA_OPTIONS
"


##############################################################
# Pull out JVM directives
##############################################################
jvms=""
args=""

while [ $# -gt 0 ]
do
  case "$1" in
    -D*) echo "jvm: "$1;
         jvms="${jvms} ${1}";;
      *) echo "arg: "$1;
         args="${args} ${1}";;
  esac
  shift
done


java ${jvms} -classpath ${CLASSPATH} ${JAVA_OPTIONS} se.fk.klistret.console.TextBasedClient ${args}